$\forall$${\it es}$:ES, $a$, $b$, $c$:E. ($a$ $<$ $b$) $\Rightarrow$ $b$ c$\leq$ $c$ $\Rightarrow$ ($a$ $<$ $c$)